1061. Static analysis :
پدیدآورنده : Antoine Miné, David Schmidt (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer programming, Congresses.,Programming languages (Electronic computers), Congresses.
رده :
QA76
.
6
.
I5733
2012eb
1062. Static analysis :
پدیدآورنده : Eran Yahav (edition)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer programming, Congresses,Programming languages (Electronic computers), Congresses
رده :
QA76
.
6
1063. Stepwise refinement of distributed systems :
پدیدآورنده : J.W. de Bakker, W.-P. de Roever, G. Rozenberg, eds.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Electronic data processing-- Distributed processing, Congresses.
رده :
QA76
.
9
.
D5
S75
1990
1064. Stepwise refinement of distributed systems : models, formalisms, correctness : REX Workshop , Mook, The Netherlands, May 29-June 2, 1989 : Proceedings
پدیدآورنده : J.W. de Bakker, W.-P. de Roever, G. Rozenberg, eds
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Electronic data processing -- Distributed processing
رده :
QA
76
.
L28
Vol
.
430
1065. Structure and dynamics of strongly interacting colloids and supramolecular aggregates in solution
پدیدآورنده : edited by Sow-Hsin Chen, John S. Huang, Piero Tartaglia.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Colloids -- Congresses.,Colloids.,Solution (Chemistry) -- Congresses.
رده :
QD549
.
E358
1992
1066. Structured matrices in mathematics, computer science, and engineering II: proceedings of an AMS-IMS-SIAM Joint Summer Research Conference, University of Colorado, Boulder, June 27-July 1, 1999
پدیدآورنده : Vadim Olshevsky, editor
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Matrices
رده :
QA
188
.
S764
2001
1067. Structured matrices in mathematics, computer science, and engineering: proceedings of an AMS-IMS-SIAM joint summer research conference, University of Colorado, Boulder, June 27-July 1, 1999
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : Congresses ، Matrices
رده :
QA
188
.
S764
2001
1068. Structured matrices in mathematics, computer science and engineering: proceedings of an AMS- IMS- SIAM joint summer research conference university of colorado, Boulder, June 27- July 1, 1999
پدیدآورنده : editor: Olshevsky
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع : ، Matrices- congresses
رده :
QA
188
.
S764
1069. Summary of a Workshop on Information Technology Research for Federal Statistic
پدیدآورنده : / Committee on Computing and Communications Research to Enable Better Use of Information Technology in Government, Computer Science and Telecommunications Board, Commission on Physical Sciences, Mathematics, and Applications, Committee on National Statistics, Commission on Behavioral and Social Sciences and Education, National Research Council
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Public administration--Data processing--Research--United States--Congresses,Information technology--Research--United States--Congresses,United States--Statistical services--Data processing--Congresses,United States--Statistics--Databases--Research--Congresses
رده :
HA
,
37
,.
U55
,
W67
,
1999
1070. Summary of a Workshop on Information Technology Research for Federal Statistics /
پدیدآورنده : Committee on Computing and Communications Research to Enable Better Use of Information Technology in Government, Computer Science and Telecommunications Board, Commission on Physical Sciences, Mathematics, and Applications, Committee on National Statistics, Commission on Behavioral and Social Sciences and Education, National Research Council.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Information technology-- Research-- United States, Congresses.,Public administration-- Data processing-- Research-- United States, Congresses.,Information technology-- Research.,SOCIAL SCIENCE-- Statistics.,Statistical services-- Data processing.,United States, Statistical services, Data processing, Congresses.,United States, Statistics, Databases, Research, Congresses.,United States., 0, 0, 7
رده :
HA37
.
U55
W67
1999eb
1071. Summary of a Workshop on Information Technology Research for Federal Statistics
پدیدآورنده : \ Committee on Computing and Communications Research to Enable Better Use of Information Technology in Government, Computer Science and Telecommunications Board, Commission on Physical Sciences, Mathematics, and Applications, Committee on National Statistics, Commission on Behavioral and Social Sciences and Education, National Research Council
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Public administration-- Data processing-- Research-- United States, Congresses.,Information technology-- Research-- United States, Congresses.,United States, Statistical services, Data processing, Congresses.,United States, Statistics, Databases, Research, Congresses.
رده :
HA37
.
U55
W67
1999
E-book
,
1072. Supercomputing :
پدیدآورنده : J. Kondō, editor.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Grands ordinateurs -- Congrès.,Supercomputers -- Congresses.,Supercomputers.
رده :
QA76
.
88
J566
1991
1073. Swarm Intelligence :
پدیدآورنده : Marco Dorigo, Mauro Birattari, Christian Blum, Anders L. Christensen, Andreagiovanni Reina, Vito Trianni (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Swarm intelligence, Congresses.,Algorithm Analysis and Problem Complexity.,Artificial Intelligence.,Numeric Computing.,Probability and Statistics in Computer Science.,Special Purpose and Application-Based Systems.,Algorithms & data structures.,Artificial intelligence.,Computers-- Expert Systems.,Computers-- Intelligence (AI) & Semantics.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Expert systems / knowledge-based systems.,Mathematical theory of computation.,Maths for computer scientists.,Swarm intelligence.
رده :
Q337
.
3
1074. Swarm, evolutionary, and memetic computing :
پدیدآورنده : Bijaya Ketan Panigrahi [and others] (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Evolutionary computation, Congresses,Evolutionary programming (Computer science), Congresses,Swarm intelligence, Congresses
رده :
QA76
.
618
.
I58
2011
1075. Swarm, evolutionary, and memetic computing :
پدیدآورنده : Bijaya Ketan Panigrahi [and others] (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Evolutionary computation, Congresses,Evolutionary programming (Computer science), Congresses,Swarm intelligence, Congresses
رده :
QA76
.
618
.
I58
2011
1076. Symbolic computation : applications to scientific computing
پدیدآورنده : edited by Robert Grossman
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Data processing -- Congresses ، Engineering mathematics,Congresses ، Object-oriented programming )Computer science(
رده :
TA
331
.
S95
1989
1077. Symposium on Computer Augmentation of Human Reasoning; ]proceedings[
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Artificial intelligence-- Congresses,، Electronic data processing-- Congresses
رده :
Q
335
.
S9
1964
1078. Synthetic biology :
پدیدآورنده : National Academies Keck Futures Initiative.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Bioengineering, Congresses.,Biotechnology, Congresses.,Synthetic biology, Congresses.,Bioengineering.,Biotechnology.,Synthetic Biology.,Bioengineering.,Biotechnology.,SCIENCE-- Biotechnology.,Synthetic biology.
رده :
TA164
.
N38
2010eb
1079. System and architecture :
پدیدآورنده : Sunil Kumar Muttoo, editor.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer architecture, Congresses.,Computer networks, Congresses.,Computer science, Congresses.,Computer security, Congresses.,Information technology, Congresses.,Computer architecture.,Computer networks.,Computer science.,Computer security.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Information technology.
رده :
QA76
.
9
.
A73
1080. Systematic organisation of information in fuzzy system
پدیدآورنده : / edited by Pedro Melo-Pinto, Horia-Nicolai Teodorescu, and Toshio Fukuda
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Soft computing, Congresses,Fuzzy systems, Congresses,Electronic books., local
